$\forall$$T$:Type, $x$:$T$. HIDDEN $\in$ $T$